61. ‎A friendly introduction to mathematical logic‬

پدیدآورنده :

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)

موضوع : م‍ن‍طق‌ ک‍ام‍پ‍ی‍وت‍ری‌,‎Logic, Symbolic and mathematical‬

رده :
QA
۷۶
/
۹
/
م
‌۸
ل
‌۹ ۱۳۷۹

62. A friendly introduction to mathematical logic

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، Computer logic,، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
L63
L43
2000

63. A friendly introduction to mathematical logic /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer logic,Logic, Symbolic and mathematical

رده :
QA76
.
9
.
L63
L43
2000

64. A logical introduction to proof

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical

رده :
QA9
.
C86
2012eb

65. A mathematical introduction to logic

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathematical

۷ نسخه از این کتاب در ۶ کتابخانه موجود است.

66. A mathematical introduction to logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
E59
2001

67. A mathematical introduction to logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
E59

68. A mathematical introduction to logic

پدیدآورنده :

کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
E54
2001

69. A mathematical introduction to logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Logic, Symbolic and mathematical

رده :
QA9
.
E54
2001

70. A mathematical introduction to logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Logic,Symbolic and mathematical

رده :
QA
9
.
E54

71. A mathematical introduction to logic

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Logic, Symbolic and mathematical

رده :
E-BOOK

72. A mathematical introduction to logic

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
E5

73. A mathematical introduction to logic

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical. ;

74. A primer of formal logic

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)

موضوع : Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy

75. A profile of mathematical logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
D37

76. A profile of mathematical logic.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.

رده :
QA9
.
D37

77. A profile of mathematical logic

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
D37

78. A profile of mathematical logic /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.

رده :
QA9
.
D37
2004

79. A readable introduction to real mathematics

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.

رده :
QA
93
.
R6
2014

80. A resolution principle for a logic with restricted quantifiers

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)

موضوع : Automatic theorem proving,Logic, Symbolic and mathematical

رده :
QA
,
76
.
9
,.
A96B87